Nuprl Definition : cchead? 11,40
cchead?(x) == chain_config_ind(x;tt;ff;id.ff;id,num.ff) 
latex

Definitionschain_config_ind(x;head;tail;id.pred(id);id,num.succ(id;num)), tt, ff
FDL editor aliasescchead?

origin